<body>
GUI elements for manipulating preferences within applications.
</body>
